1

THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT

ESCARDÓ, MARTÍN, OLIVA, PAULO
Journal:
Journal of Symbolic Logic
Year:
2017
Language:
english
File:
PDF, 226 KB
english, 2017
2

Selection functions, bar recursion and backward induction

ESCARDÓ, MARTÍN, OLIVA, PAULO
Journal:
Mathematical Structures in Computer Science
Year:
2010
Language:
english
File:
PDF, 461 KB
english, 2010
4

PCF extended with real numbers

Martin Hötzel Escardó
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 2.45 MB
english, 1996
5

Synthetic Topology: of Data Types and Classical Spaces

Martín Escardó
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 1.40 MB
english, 2004
6

The Peirce translation

Martín Escardó, Paulo Oliva
Journal:
Annals of Pure and Applied Logic
Year:
2012
Language:
english
File:
PDF, 279 KB
english, 2012
7

Preface

Berger, Ulrich, Blanck, Jens, Escardó, Martín, Keimel, Klaus
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2015
Language:
english
File:
PDF, 119 KB
english, 2015
10

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

ESCARDÓ, MARTÍN, OLIVA, PAULO
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 507 KB
english, 2015
11

Preface

Jiřı́ Adámek, Martı́n Escardó, Martin Hofmann
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 28 KB
english, 2003
12

Compactly generated Hausdorff locales

Martín H. Escardó
Journal:
Annals of Pure and Applied Logic
Year:
2006
Language:
english
File:
PDF, 235 KB
english, 2006
13

Constructive decidability of classical continuity

ESCARDÓ, MARTÍN
Journal:
Mathematical Structures in Computer Science
Year:
2015
Language:
english
File:
PDF, 104 KB
english, 2015
14

Preface

Martín Escardó, Achim Jung, Michael Mislove
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 80 KB
english, 2006
15

Properly injective spaces and function spaces

Martín Hötzel Escardó
Journal:
Topology and its Applications
Year:
1998
Language:
english
File:
PDF, 2.96 MB
english, 1998
18

Preface

Lars Birkedal, Martín Escardó, Achim Jung, Giuseppe Rosolini
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 128 KB
english, 2004
20

On lazy natural numbers with applications to computability theory and functional programming

Escardó, Martín Hötzel
Journal:
ACM SIGACT News
Year:
1993
Language:
english
File:
PDF, 459 KB
english, 1993
21

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS
Journal:
Mathematical Structures in Computer Science
Year:
2007
Language:
english
File:
PDF, 172 KB
english, 2007
25

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS
Journal:
Mathematical Structures in Computer Science
Year:
2006
Language:
english
File:
PDF, 181 KB
english, 2006
27

In Domain Realizability, not all Functionals on C[–1, 1] are Continuous

Martín Escardó, Thomas Streicher
Journal:
Mathematical Logic Quarterly
Year:
2002
Language:
english
File:
PDF, 106 KB
english, 2002
28

Preface

Martín Escardó, Achim Jung
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 60 KB
english, 2004
29

On the computational content of the Lawson topology

Frédéric De Jaeger, Martín Escardó, Gabriele Santini
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 213 KB
english, 2006
36

The intrinsic topology of Martin-Löf universes

Escardó, Martín Hötzel, Streicher, Thomas
Journal:
Annals of Pure and Applied Logic
Year:
2016
Language:
english
File:
PDF, 583 KB
english, 2016